Dualities in full homomorphisms
نویسندگان
چکیده
In this paper we study dualities of graphs and, more generally, relational structures with respect to full homomorphisms, that is, mappings that are both edgeand non-edge-preserving. The research was motivated, a.o., by results from logic (concerning first order definability) and Constraint Satisfaction Problems. We prove that for any finite set of objects B (finite relational structures) there is a finite duality with B to the left. It appears that surprising richness of these dualities leads to interesting problems of Ramsey type; they are which are explicitly analyzed in the simplest case of graphs.
منابع مشابه
Finite Dualities, in Particular in Full Homomorphisms
This paper is a survey of several results concerning finite dualities, a special case of the famous Constraint Satisfaction Problem (CSP). In CSP, the point is to characterize a class C of objects X determined by constraints represented by the requirement of the existence of structure preserving mappings from X into special ones. In a finite duality, such a class C is characterized by the non-e...
متن کاملHomomorphisms of random paths
We study homomorphisms between randomly directed paths and give estimates on the probability of the existence of such homomorphism. We show that a random path is a core with positive probability. We apply our results in the investigation of homomorphism dualities, the most natural situation when a homomorphism (or Constraint Satisfaction) problem is in coNP.
متن کاملHeegaard Floer Homology as Morphism Spaces
In this paper we prove another pairing theorem for bordered Floer homology. Unlike the original pairing theorem, this one is stated in terms of homomorphisms, not tensor products. The present formulation is closer in spirit to the usual TQFT framework, and allows a more direct comparison with Fukaya-categorical constructions. The result also leads to various dualities in bordered Floer homology.
متن کاملDualities for Constraint Satisfaction Problems
In a nutshell, a duality for a constraint satisfaction problem equates the existence of one homomorphism to the non-existence of other homomorphisms. In this survey paper, we give an overview of logical, combinatorial, and algebraic aspects of the following forms of duality for constraint satisfaction problems: finite duality, bounded pathwidth duality, and bounded treewidth duality.
متن کاملUniversal Structures with Forbidden Homomorphisms
We relate the existence problem of universal objects to the properties of corresponding enriched categories (lifts or expansions). In particular, extending earlier results, we prove that for every regular set F of finite connected structures there exists a (countable) ω-categorical universal structure U for the class Forbh(F) (of all countable structures not containing any homomorphic image of ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Eur. J. Comb.
دوره 31 شماره
صفحات -
تاریخ انتشار 2010